package skyblue;

import java.util.Stack;

public class CycleSolver {

	public CycleSolverResult solveSolver(Stack<Constraint> cns){
		CycleSolverResult rs = new  CycleSolverResult();
		rs.setResult("CycleUnsatisfiable");
		return  rs;
		
	}
}
